翻訳と辞書 Words near each other ・ Occupy Texas State ・ Occupy the Farm ・ Occupy the Hood ・ Occupy the SEC ・ Occupy This Album ・ Occupy Toronto ・ Occupy Unmasked ・ Occupy Vanderbilt ・ Occupy Wall Street ・ Occupy Windsor ・ Occupé Bayenga ・ Occurrence (liturgical) ・ Occurrence and perceptions of mustaches ・ Occurrence of thorium ・ Occurrences of Grandi's series ・ Occurs check ・ OCD (disambiguation) ・ OCD Action ・ OCDS ・ Ocea River ・ Ocean ・ Ocean & Earth ・ Ocean (1788 ship) ・ Ocean (1794) ・ Ocean (1800 London) ・ Ocean (1800) ・ Ocean (1808) ・ Ocean (B'z song) ・ Ocean (band) ・ Ocean (Bebo Norman album) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Occurs check ： ウィキペディア英語版 Occurs check In computer science, the occurs check is a part of algorithms for syntactic unification. It causes unification of a variable ''V'' and a structure ''S'' to fail if ''S'' contains ''V''. ==Application in theorem proving== In theorem proving, unification without the occurs check can lead to unsound inference. For example, the Prolog goal $X\; =\; f(X)$ will succeed, binding ''X'' to a cyclic structure which has no counterpart in the Herbrand universe. As another example, 〔; here: p.143〕 without occurs-check, a resolution proof can be found for the non-theorem 〔Informally, and taking $p(x,y)$ to mean e.g. "''x loves y''", the formula reads "''If everybody loves somebody, then a single person must exist that is loved by everyone.''"〕 $(\backslash forall\; x\; \backslash exists\; y.\; p(x,y))\; \backslash rightarrow\; (\backslash exists\; y\; \backslash forall\; x.\; p(x,y))$: the negation of that formula has the conjunctive normal form $p(X,f(X))\; \backslash land\; \backslash lnot\; p(g(Y),Y)$, with $f$ and $g$ denoting the Skolem function for the first and second existential quantifier, respectively; the literals $p(X,f(X))$ and $p(g(Y),Y)$ are unifiable without occurs check, producing the refuting empty clause. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Occurs check」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.